LOGICIANS owe a considerable debt of gratitude to Ogden and Veatch for their highly satisfactory exposition of the problem of existential import in the Square of Opposition and for their stimulating efforts to solve it. The authors gave an apt description of the situation reigning in this field when they said.

I.—It is a thesis of Christian philosophy that God can bring about anything that does not involve a contradiction in terms. Now a contradietion in terms is denned with reference to an identical proposition. An identical proposition is one in which the predicate is the same as the subject. This is brought about in two ways: one when the predicate is completely identical with the subject, as when you say, ‘A dog is a dog’: two when the predicate is partly (...) identical with the subject as when you say, ‘A black dog is black’, or ‘A dog is an animal’. In both these cases, especially in the latter, it is said that the predicate is included in the idea, or concept or ratio of the subject. If any of these propositions is denied, then you get a simultaneous affirmation and denial of the same thing, of dog, of black, and of animal, respectively, thus producing a contradiction in terms. And not even God can make such propositions true. (shrink)

WE wish to call into question the basic objection to the generic status of being: and here we mean by ‘being’, not the act of existence, but essence. It is objected that whereas being contains all its differences, the genus does not do so. This objection is unsupported by the evidence and therefore fails. A concomitant objection that being is analogical and that the genus is univocal also fails, since the genus is itself analogical. The strange thing is that St. (...) Thomas agrees that the genus contains its differences and that it is analogical; yet Thomists deny that being is a genus. St. Thomas compares the relation of being to the categories with that of the genus to the species. He says that the difference is not outside the genus, but is rather a determination of it. He says that the genus is equivocal, not purely so but as being analogical. It is evident, therefore, from what he says, that being as meaning essence, is the supreme genus. (shrink)